Place / Transition Nets with Debit ArcsP
نویسندگان
چکیده
We add an extension called debit arcs to traditional place/transition nets. A debit arc incident upon a transition represents an always true precondition; when the transition res, a token is subtracted from the place issuing the debit arc, regardless of whether there are any tokens present there. Properties of this net extension are considered.
منابع مشابه
Loose Semantics of Petri Nets
In this paper, we propose a new,loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantics of a place/transition net reflects all its possible refinements and is given as a category of transition systems with alternative sequences of events over the net. The main result states that each plain morphism between two ...
متن کاملPetri Nets as Integrated Modelling Techniques
3 Review of Place/Transition Nets 8 3.1 “Dining Philosophers” as PT Net . . . . . . . . . . . . . . . . . . 8 3.2 Place/Transition Nets . . . . . . . . . . . . . . . . . . . . . . . . 9 3.3 Marking Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.4 A “Dining Philosophers” Process . . . . . . . . . . . . . . . . . . 12 3.5 Occurence Nets and Processes . . . . . . . . . . . . . ....
متن کاملOn detectability of labeled Petri nets with inhibitor arcs
Detectability is a basic property of dynamic systems: when it holds one can use the observed output signal produced by a system to reconstruct its current state. In this paper, we consider properties of this type in the framework of discrete event systems modeled by Petri nets (a.k.a. place/transition nets). We first study weak detectability and weak approximate detectability. The former implie...
متن کاملTwo Algebraic Process Semantics for Contextual Nets
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable nonfree monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretat...
متن کاملBasic Linear Algebraic Techniques for Place or Transition Nets
Abst rac t . Linear algebraic techniques for place/transition nets are surveyed. In particular, place and transition invariant vectors and their application to verification, proof and analysis of behavioral properties of marked Petri nets are l)resented. The considered properties are the nonreachabi l i ty of a marking and conditious that hold true for all reachable markings. In addition, it is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992